
%% Template by Michal Forisek


\documentclass[a4paper]{report}
%\documentclass[a5paper,12pt]{report}
\usepackage{ulem}
\usepackage{slovak}
\usepackage[utf8]{inputenc}
\usepackage{a4wide}
\usepackage{tabularx}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{epsfig}
\usepackage[usenames,dvipsnames]{color}
\usepackage{mathrsfs}
\usepackage{verbatim}
\usepackage{hyperref}
\usepackage{ifthen}
\usepackage{subfigure}

\input{utility/makra.tex}
\input{utility/environments.tex}

\begin{document}

\thispagestyle{empty}
\begin{minipage}{0.25\textwidth}
\includegraphics[width=0.9\textwidth]{img/komlogo-new}
\end{minipage}
\begin{minipage}{0.69\textwidth}
\begin{center}
\sc Katedra Informatiky \\
Fakulta Matematiky, Fyziky a Informatiky \\
Univerzita Komenského, Bratislava
\end{center}
\end{minipage}

\def\projecturl{\url{http://code.google.com/p/skripta-fmfi}}

\vfill
\begin{center}
\begin{minipage}{0.8\textwidth}
\hrule
\bigskip\bigskip
\centerline{\LARGE\sc Matematická Logika}
\smallskip
\centerline{(spísané poznámky, draft)}
\bigskip
\centerline{\projecturl}
\bigskip
\centerline{\large\sc Peter Perešíni, Milan Plžík, Pavol Struhár, Ivan Kováč}
\bigskip\bigskip
\hrule
\end{minipage}
\end{center}
\vfill
{~}
\hfill verzia zo dňa {\bf\today} 
\eject % EOP i

\section*{Úvod}

Tieto poznámky obsahujú študijné materiály
k predmetu \emph{Matematická logika}
na Fakulte matematiky, fyziky a informatiky UK.

Základ poznámok bol spísaný podľa prednášky doc. Eduarda Tomana v roku 2009.
Poznámky ale nie sú oficiálny študijný materiál, preto autori neručia
žiadnym spôsobom za ich aktuálnosť či vhodnosť. Navyše, obsah prednášky sa
počas rôznych rokov môže meniť a preto je silne odporúčané dopísať si
prípadné rozdiely medzi poznámkami a prednáškou.

Aby sme umožnoli jednoduchšie spravovanie a udržali poznámky dlhšie
aktuálne, rozhodli sme sa verejne publikovať zdrojové kódy na stránke
\projecturl. Ak máte akékoľvek pripomienky,
návrhy, opravy, môžete nám ich prostredníctvom tejto stránky oznámiť.

Za autorov, PPershing.

\tableofcontents

\chapter{Dokončenie úvodu do matematickej logiky}
\input{tex/x0prerekvizity.tex}
\input{tex/x0prenex.tex}
\input{tex/x1skolem.tex}
\input{tex/x2rovnost.tex}

\chapter{Matematická logika}
\input{tex/01dokazatelnost.tex}
\input{tex/02uplnost.tex}
\input{tex/03rozsirenia.tex}
\input{tex/04kompaktnost.tex}

\chapter{Dokazovanie formúl -- Metóda rezolvent}
\input{tex/05rezolv.tex}
\input{tex/06herbrand_uvod.tex}
\input{tex/07standard.tex}
\input{tex/08herbr.tex}
\input{tex/09stromy.tex}
\input{tex/10herbr.tex}
\input{tex/11rezolv_vyrokova.tex}
\input{tex/12unifikacia.tex}
\input{tex/13rezolv_predikatova.tex}
\input{tex/14strategia_vymazavania.tex}

\chapter{Neodprednášané v šk. roku 09/10}
\input{tex/neodprednasane.tex}

\chapter{Skúška}
\input{tex/skuska.tex}
\end{document}
